# -*- mode: snippet -*-
# name: Lemma
# key: l
# uuid: l
# --
Lemma $1 : $2.
Proof.
$3
Qed.
